Consistent Amalgamation for Þ-forking Alf Onshuus and Clifton Ealy
نویسندگان
چکیده
This result follows straight from the geometric properties of þ-forking and it is nowhere near the independence theorem (which we will call “independent amalgamation”) one has in simple theories. In [?], Kim proved that the only independence relation satisfying symmetry, local character, transitivity and the independence theorem was forking in a simple theory; since there are well known examples of rosy non simple theories (any o-minimal theory is an example of this) it is impossible to hope for anything as strong as independent amalgamation in the general context of rosy theories. However, in o-minimal theories the following amalgamation theorem is true:
منابع مشابه
Characterizing rosy theories
We examine several conditions, either the existence of a rank or a particular property of þ-forking that suggest the existence of a well-behaved independence relation, and determine the consequences of each of these conditions towards the rosiness of the theory. In particular we show that the existence of an ordinal valued equivalence relation rank is a (necessary and) sufficient condition for ...
متن کاملThorn-forking in continuous logic
We study thorn forking and rosiness in the context of continuous logic. We prove that the Urysohn sphere is rosy (with respect to finitary imaginaries), providing the first example of an essentially continuous unstable theory with a nice notion of independence. In the process, we show that a real rosy theory which has weak elimination of finitary imaginaries is rosy with respect to finitary ima...
متن کاملThorn independence in the field of real numbers with a small multiplicative group
We characterize þ-independence in a variety of structures, focusing on the eld of real numbers expanded by predicate de ning a dense multiplicative subgroup, G, satisfying the Mann property and whose pth powers are of nite index in G. We also show such structures are super-rosy and eliminate imaginaries up to codes for small sets.
متن کاملDEFINABLE GROUPS AND COMPACT p-ADIC LIE GROUPS
We formulate a version of the o-minimal group conjectures from [11], which is appropriate for groups G definable in a (saturated) p-adically closed field K, We discuss the conjectures in two cases, when G is defined over Qp and when G is of the form E(K) for E an elliptic curve over K.
متن کامل